Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
661	doi:j.entcs Add to Reading List Source URL: ti.arc.nasa.gov Language: English Mathematical proofs Proof theory Methods of proof Metalogic Knowledge representation Tree Model theory Natural deduction Theorem
662	Model-Based Inference About IR Systems Ben Carterette Dept. of Computer & Info Sciences, University of Delaware, Newark, DE, USA Abstract. Researchers and developers of IR systems generally want to Add to Reading List Source URL: ir.cis.udel.edu Language: English - Date: 2011-08-13 09:04:14 Statistical inference Econometrics Statistical theory Psychometrics Statistical models Bayesian inference Bayesian network Normal distribution Statistical hypothesis testing Linear regression Regression analysis Bootstrapping
663	ALGEBRAS AND MODULES IN MONOIDAL MODEL CATEGORIES STEFAN SCHWEDE and BROOKE E. SHIPLEY [Received 4 September 1998; revised 1 DecemberIntroduction Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:30 Category theory Monoidal categories Homotopy theory Algebraic topology Adjoint functors Monoid PRO Model category Highly structured ring spectrum Monad Symmetric monoidal category Functor
664	Semantic Processing Semantics Semantic Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-23 22:06:25 Semantics Grammar Predicate logic Knowledge representation Computational linguistics Logical Form Dependency grammar First-order logic Description logic Semantic network Quantifier Model theory
665	Microsoft Word - Stueur M.doc Add to Reading List Source URL: sticerd.lse.ac.uk Language: English - Date: 2007-12-04 06:05:10 Economic methodology Economics Positive economics Economic model Mathematical economics Thought experiment Behavioral economics Rational choice theory Theory Experiment Scientific theory Social science
666	Towards a Formal Model of Accountability ∗ Joan Feigenbaum Department of Computer Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2011-10-31 10:40:46 Decision theory Utility Game theory Expected utility hypothesis X-ray photoelectron spectroscopy Expected value Accountability
667	¨ ETH Zurich Computer Science Department Prof. Marc Pollefeys Prof. Luc Van Gool Add to Reading List Source URL: www.cvg.ethz.ch Language: English - Date: 2015-10-29 08:10:18 Computer vision Estimation theory Image segmentation Image processing Mixture model Mean shift Expectationmaximization algorithm Mode Generalised Hough transform Video Sequences Saliency Map
668	GRADES 7-8 KNOW UNDERSTAND DO Add to Reading List Source URL: www.sau50.org Language: English - Date: 2014-08-01 11:18:50 Scientific method Science Standards-based education Scientific theory Experiment Mathematical model Scientific literacy Inquiry-based learning
669	Lexicographic Beliefs and Assumption∗ Eddie Dekel† Amanda Friedenberg‡ Marciano Siniscalchi§ Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2016-05-09 14:51:10 Measure theory Probability theory Boolean algebra Sigma-algebra Measure Determinacy Model theory
670	Measuring Graph Proximity with Blink Model Haifeng Qian, Hui Wan, Mark N. Wegman, Luis A. Lastras, Ruchir Puri IBM T. J. Watson Center, Yorktown Heights, NY qianhaifeng,hwan,wegman,lastrasl, ABSTRACT Add to Reading List Source URL: www.mlgworkshop.org Language: English - Date: 2016-08-14 01:22:56 Graph theory Network theory Edsger W. Dijkstra Graph Shortest path problem Line graph Directed graph Bridge Centrality Pathwidth

UPDATE